Situé à Boulogne-sur-Mer, le plus grand aquarium de France est devenu, en mai 2018, le plus grand d'Europe : comment les travaux ont-ils été réalisés ?