Stripped old dead code.

2018-02-02, Edouard Tisserant