Hội thảo «La vérification de propriétés de graphes exprimées en logique du second-ordre monadique »