Pas mal de bugs, dont des nom de fonction répétées qd on sait pas ce qu'on a comme expre (genre | _   -> add fonction_mere ds check_expr...)