Rajeunir un sol en granito

Bonjour,
je suis en train de nettoyer un sol en granito très sale, recouvert d’une bonne couche de gras, dans une cuisine de 10 mètres carrés.
Comme on peut voir sur la photo jointe, j’arrive à bien le nettoyer, avec une brosse métaliqque et divers produits comme de l’acétone ou de l’alcool ménager (comparez moitié propre et moitié sale).
Pour la finition, le polissage avec une grosse machine pro (comme on peut voir sur certains tutos) me parait un peu long et compliqué.
Quelle autre solution pourrais-je avoir, pour un beau rendu facile d’entretien et une bonne imperméabilisation ? Par exemple, un vernis très résistant ? Ou un autre mode de ponçage / polissage ?
Merci d’avance pour vos conseils