@tristen Thank you! It's a project I made; it's totally decorative and fake, made from a pack of tinted plaster bricks reproduction sold on boxes in DIY shops; and they are glued like ceramic tiles. But with a bit of work to make them looks old and ancient, it does the trick!