carte des lacunes de preuves