La Génération d'observateurs pour la validation des propriétés des systèmes distribués — Omar Drissi Kaitouni