Raccourcissement d'une condition avec redondances dans Abstracter,