ajout JSpinner pour choix taille demineur