Modifications et ajout de proprietes en LTL FO+