Fuyez GitHub !

Depuis le 29 juin 2022, tous les développeurs sont appelés à quitter GitHub.