dixit manuel latin decodeur logique combinatoire exercices de tassement oedométriques controle de connaissance diagrammes de phases jonction pn Hologe vectorielle exercices de tassement microcontroleur 68HC11 Poullie