Due to computing and communication facilities, formal procedures, often referred to as "algorithms," are now extensively used in public, economic, and social areas. These procedures, currently at the forefront of criticisms, share some features with mechanisms as defined by economists, following...