This detailled introduction is a work in progress.