Tools to ease the translation of documentation