[fr] Complexité des preuves

[pt] Complexidade de prova