On sait ce que va devenir la halle marchandise de Juan-les-Pins