preuve courte du circuit