Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (II) — Joseph Ayoub