Click on Github des notes de cours to open the resource.