Ajout de formalisme