void menu_principal (){

int choix;
printf("- - - - - - DEMINEUR - - - - - -\n");
printf("\n1 - Lancer le jeu\n");
printf("2 - Parametres\n");
printf("3 - Resolution automatique par IA\n");
printf("0 - Quitter\n");
printf("\nVotre choix: ");
scanf("%d", &choix);

switch(choix) {

case 1: printf("\n"); printf("Placeholder1"); break;


case 2: printf("\n");printf("Placeholder2"); break;


case 3: printf("\n"); printf("Placeholder3"); break;

case 0: return 0; break;


default: printf ("\nMauvaise valeur, merci d'en choisir une autre. \n"); break;



}
}

int main(){

menu_principal();
}