public void mousePressed(MouseEvent e) {
if (e.getButton() != MouseEvent.BUTTON3) return;
JButton bouton = (JButton) e.getSource();
i = champMine.getLingeBouton(bouton.getName());
j = champMine.getColonneBouton(bouton.getName());
if (champMine.estCaseNormale(i, j)) champMine.setMarquerMine(i, j);
else if (champMine.estMarqueeMine(i, j)) champMine.setMarquerDoute(i, j);
else if (champMine.estMarqueeDoute(i, j)) champMine.setMarquerNormale(i, j);
barreUtil.updateDrapeaux(champMine.nbDrapeaux, champMine.nbMines);
} // mousePressed()
