Tue, 03 Dec 2019 09:44:48 +0100 Edouard Tisserant Non significant changes, whitespaces, etc. svghmi