Appel OcamlPathFrame dans FormulaAnalyzer