The stabilisation of the leaning tower of Pisa