Remarque : ces ressources n'utilisent pas les mêmes formalismes que dans le cours, et sont souvent trop peu formels.
