Merci Richard et vous toutes et tous, les contributeurs du système GNU.