Etude de la conception de contrôleurs de sécurité en logique dynamisée — François Baranowski