formalisation du sens