Retirer ciment sur dalle

Bonjour
Nous avons une terrasse en dalles cimentée avec gravillons. Celle ci a été posée avec des joints ciments. Nous avons dû refaire 2 rangées de cette terrasse et également les joints en ciment. Nous avons enlevé le surplus de ciment en nettoyant les dalles juste après la réalisation des joints. Malheureusement une couche de ciment (pas très fine) reste sur les dalles et c est franchement pas très esthétique. On a mis de l acide chlorydrique (24% de souvenir) mais rien est parti... Avez vous des solutions? Un super décapant ? Bien entendu nous avons passé ldme karcher avec la buse rotative, tout reste... merci d avance!!