Ce que l'on sait du film « Astérix et Obélix : l'Empire du Milieu », tourné en partie dans le Puy-de-Dôme