Certified Descent Algorithm for shape optimization driven by fully-computable a posteriori error estimatorsMatteo Giacomini, Olivier Pantz and Karim TrabelsiESAIM: COCV, 23 3 (2017) 977-1001DOI: https://doi.org/10.1051/cocv/2016021