Eh bien, les avis divergent.
La petite bosse n'aurait même pas une note de ma part. Si on veut absolument la réparer, je retirerais les trois dalles concernées, les nettoierais, enlèverais la saleté des joints, prendrais éventuellement un peu (!!) de matériau sous-jacent, remettrais les dalles en place, taperais avec un maillet en caoutchouc, mettrais une poignée de sable par-dessus, et voilà.
On peut bien sûr aussi d'abord faire venir une entreprise de construction et lui demander un devis. Je pense qu'on attendra ce devis jusqu'au bout du monde.
Cordialement
Dirk Grafe