Numéro Spécial Revue ISI "Conception : patrons et spécifications formelles52411Voir les documents associés Exporter Export XML Export RDF