Indeed, @alexis-mignon : there is a duplicated line.

Us there a specific reason that you changed this part of the code? Your PR is about removing bad default argument, but this is a numerical change. It doesn't look wrong to me; I'd just like to know the argument behind this modification.