Quelques exemples de ce type dans ce manuel :