Etude épistémologique et didactique de la preuve en mathématiques et de son enseignement. Une ingénierie de formation