Valadier-like formulas for the supremum function I

- Correa, Rafael, Hantoute, Abderrahim, López, Marco