Jamais rien vu de probant en pratique sur les méthodes formelles...
Mais je dois dire que j'aimerais bien essayer Astrée payant... mais bon... des frienchies en plus