[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 16 novembre 2011