Forcing et théorie de la conception (théorie C-K) avec Armand Hatchuel