Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes.