@book{302297,
	author = {Lehning, Hervé},
	title = {A la recherche de la preuve en mathématiques},
	publisher = {Belin},
	address = {Paris}
}