PDF4Teachers, un outil pour la correction de copies numérisées - commentaires