The loop of relativistic velocities as a deformation of the menhir loop

The algebra of the relativistic composition of velocities is shown to be isomorphic to an algebraic loop defined on division algebras. This makes calculations in special relativity effortless and straightforward, unlike the standard formulation, which consists of a rather convoluted algebraic equation. The elegant appearance of the new formula brings about an additional value.