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