pense-bete: inspection du logiciel