Sylvain Baro : "Un système X Raisonner formellement sur les programmes ML" Previous Index Next