par ailleurs tu n'es pas non plus censé recopier une preuve mot pour mot (bon évidemment si c'est une preuve très simple y a pas forcément 10000 formulations différentes, mais dès que c'est un minimum complexe il y a une différence évidente entre « recopie du texte » et « recopie de la preuve »). Mais ça n'est pas vraiment une limitation (à moins que tu veuilles recopier une preuve sans la comprendre...)