Le restaurant et kiosque de la piscine de Vernier.