Complément de la PR #2815.
Complément de la PR #2815.