redéfinitions