The Tour de France is definitely over.