Moteur d’inférences fonctionnant sur des règles d’ordre 0