Description et formalisation mathématique - Marty, Robert (Études littéraires, 1989)