redéfinition prod négative