Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique