Calcul de Constructions Infinies et son Application à la Vérification de Systèmes Communicants (1996)