On renomme proprement.