{
    "title": "Variable `$$` — récupérer le PID du shell",
    "_updated_at": "2026-05-16 16:00:58"
}