Test et implémentation de Bombe.
Correction: ajout des contracts dans les classes de test