Merge remote-tracking branch 'origin/python3' into python3

22 months ago, Edouard Tisserant