J'ai donc un fichier en .gi mais je ne sais vraiment pas comment le graver pour qu'il soit reconnu par la console.
Merci d'avance pour votre aide précieuse.