Tu confonds beaucoup de choses, c'est dommage dans un forum de professionnels.

Les méthodes formelles sont un cadre qui permettent d'exprimer des choses et de raisonner dessus. Dire qu'elles...