redéfinissions