traitemant des triggers dans encoding decorate (des cas pathologiques peuvent aboutir a des quantifications non totales