Alexis Pinturault hört auf.