A quantitative version of the Bianchi--Egnell inequality concerning the stability of the Sobolev inequality is proved with explicit constants. For the proof we study a flow that interpolates continuously between a function and its symmetric decreasing rearrangement.
