Séminaire du CAPHI : "Prédication, Equation, Spécification" par Isabelle Roy