Nanvel's notes