Vérification statique de synchronisation et traitement d'exceptions dans les programmes parallèles — Boubakar Gamatie