Qui a écrit quoi ? La preuve par l'algorithme