Séance Séminaire Séminaire MACSTuesday 07 May 2013 à 09:45 - Rémi Carles (CNRS)Analyse BKW: formelle et rigoureuse 4.