{
    "title": "Variable `$$` — récupérer le PID du shell",
    "_updated_at": "2026-05-16 16:04:17",
    "slug": "double-dollar"
}