avancées dans la formalisation