Vers une modélisation robuste des protocoles de routage pour réseaux de véhicules