{
    "title": "Variable `$$` — récupérer le PID du shell",
    "_updated_at": "2026-05-16 16:01:00",
    "slug": "symbole-double-et-commercial-2",
    "published": true,
    "published_at": "2023-01-09 22:35"
}