F8: assertions and substantive procedures

Les diapos (ppt, pdf, flash) et la version à cours du cours sont disponibles http://goo.gl/zMoii