La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique [The non-commutativity as a linguistic argument: modeling phase in a logical framework]