Changes [user] to the OP's username when commenting on StackExchange sites
Version au 14/10/2018. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
