Un programme qui apporterait une preuve constructive de ton affirmation, par exemple