Doit-on dire un ou une redéfinition ?
une
redéfinition !