[en] This paper uses quadratic surface Lyapunov functions to efficiently check if a double integrator in feedback with a saturation nonlinearity has L2-gain less than gamma > 0. We show that for many of such systems, the L2-gain is non-conservative in the sense that they are approximately equal to the low erbound obtained by replacing the saturation with a constant gain of 1. These results allow the use of classical analysis tools like mu -analysis or IQCs to analyze systems with double integrators and saturations, including servo systems like some mechanical systems, satellites, hard-disks, CD players, etc.