Tools useful in order to carry out the machine translation of the RFC to Japanese.