The pond is dry.
At the end of summer, despite plenty of rain, I noticed that the pond wasn't filling up anymore.
So, the liner needed replacing.
I bought an EPDM liner and a geotextile to reinforce its durability. I ordered everything from @materiauxnaturels: the EPDM pond liner and the geotextile.
You get 5% off your orders with the code: BIOBZH5300
https://www.materiaux-naturels.fr/pro...
You can also learn more in my book on ponds, published by Rustica.