Ajout de proprietes LTL FO+