Université de Paris VII. Laboratoire de linguistique formelle