Implémentation du jeu River City Ransom avec une implémentation par contrat