correction de never returns