Tenir une bibliothèque de preuves versionnée reliant chaque assertion à une source adaptée, un propriétaire, une date et une portée ; suspendre les assertions s