Modification de domain et operator pour palier au temps d"execution avec le forward checking