Une sémantique statique pour MongoDB.