Ce que l'on sait du premier cas de choléra détecté en Espagne depuis 1979