Citation: 1C_112/2023 E. 1

En tant qu'il est dirigé contre une décision finale (art. 90 LTF) prise en dernière instance cantonale (art. 86 al. 1 let. d LTF) dans le domaine du droit public de la police des constructions, le recours est en principe recevable comme recours en matière de droit public selon les art. 82 ss LTF, aucune des exceptions prévues à l'art. 83 LTF n'étant réalisée. Les recourants ont pris part à la procédure devant la Cour de justice; ils sont particulièrement atteints par l'arrêt attaqué, celui-ci confirmant l'ordre de remise en état des lieux, et disposent d'un intérêt digne de protection à sa modification ou à son annulation. Ils ont ainsi la qualité pour recourir au sens de l'art. 89 al. 1 LTF. Les autres conditions de recevabilité sont au surplus réunies, si bien qu'il convient d'entrer en matière.