Title: Étude et formalisation d'une classe de systemes