Le PIB de Monaco en hausse à 9,24 milliards d'euros