Basic Concepts of Synthetic Differential Geometry by Rene Lavendhomme