Quelques aspects de la formalisation en linguistique — Centre de mathématique sociale et de statistique. Paris