Objet : liste de diffusion du gt Structures formelles pour le CALcul et les Preuves

Vous avez demandé à vous désabonner de la liste gdr-ifm-gt-scalp.

Pour confirmer cette demande, prière de cliquer sur le bouton ci-dessous :