  We revisit the S-procedure for general functions with "geometrical glasses".
We thus delineate a necessary condition, and almost a sufficient condition, to
have the S-procedure valid. Everything is expressed in terms of convexity of
augmented sets (convex hulls, conical hulls) of images built from the data
functions.
