retirer
not defined yet