Gabriel Vatin: Formalisation d'un environnement d'aide à l'analyse géovisuelle : Application à la sécurité et sûreté de la maritimisation de l'énergie. (Formalization of a Geovisual Analytics Support Environment / Formalization of a Geovisual Analytics Support Environment : Application to Maritime Oriented Energy Safety and Security). Mines ParisTech, France 2014