à la modélisation géométrique et sémantique des bâtiments. PhD thesis, Université de Lyon. Diakite, A. A. and Zlatanova, S. (2016). Valid space description in BIM for 3D indoor navigation. International Journal of 3-D Information Modeling. In Press. Diakité, A. A., Damiand, G., and Gesquière, G. (2014). Automatic semantic labelling of 3D buildings based on geometric and topological information. In Proc. 9th International 3DGeoInfo Conference, pages 49–63, Dubai, United Arab Emirates. Donkers, S. (2013). Automatic generation of CityGML LOD3 building models from IFC models. Master’s thesis, GIS technology group, Delft University of Technology. Donkers, S., Ledoux, H., Zhao, J., and Stoter, J. (2016). Automatic conversion of IFC datasets to geometrically and semantically correct CityGML LOD3 buildings. Transactions in GIS, 20(4):547–569. Kolbe, T. H. and Plümer, L. (2004). Bridging the gap between GIS and CAAD geometry, referencing, representations, standards and semantic modelling. GIM International, 18:12–38. Nagel, C., Stadler, A., and Kolbe, T. H. (2009). Conceptual requirements for the automatic reconstruction of building information models from uninterpreted 3D models. Presentation at Academic Track of Geoweb 2009 Conference (Vancouver, Canada).