Conception rigoureuse et algorithmique complexe