Logos et formalisation du langage — Dominique Dubarle