Toiture-terrasse d'un restaurant. (05)