Note

Les notes sont des petits articles allant directement à l'essentiel. Il s'agit bien souvent de solutions directes à un problème donné, sans explication particulière.