Généralités sur les logiciels d’analyse de modèles utilisés dans le BIM