Calcul de Constructions Infinies et son Application a` la Ve'rification des Syste`mes Communicants (1996)