preuve constructive