Qu'est-ce qu'un robot de pré-marquage routier GPS et comment améliore-t-il l'efficacité de la construction routière?