Fix submodule URL to a git URL

Faut toujours mettre des URL en git pour les submodules, parce que https ne marche pas sans config depuis le réseau UTC et ssh oblige à avoir une clé sur la machine.