§ Projections onto convex sets