main-formalisme