Methoden axiomatique et formalisme (1981)