Analyse de la qualité de code via une approche logique et application à la robotique. (Analysis of source code quality through a logic-based technique and application to robotics)