Quelques commentaires et définitions par-ci par-là.