Ou, une installation de développement sur GitHub Codespaces est un moyen rapide de créer un serveur de développement.