L'inventaire de Kreps est privé.