Shtukas for reductive groups and Langlands correspondence for function fields - Vincent Lafforgue (2018)