Heureusement qu'il fait nettement plus chaud en Andalousie !