Compilateur modelica : Extraction des paramètres ok