Informations sur la liste

Nouvelle liste de diffusion pour le séminaire hebdomadaire du team de Méthodes Formelles du LaBRI.