Ajout de regles de monitorage LTL FO+