redoublement
not defined yet