Cet editeur de texte enrichie JavaScript

Bonjour,

 

for ($i=0;$ i<10; $i++) {
     echo $i;
}

Je suis tombé par hazard sur cette page web, vie Google au sujet d'une question sur PowerPoint et j'ai trouvé cet zone de saisie de text enrichie (un plug-in JavaScript) et je voudrais l'incorporer a l'un de mes projet. Question: où est-ce que l'on peut trouver cet Editeur de texte enrichie JavaScript ? l'éditeur que j'utilise pour poser cette question, précisément.

J'ai regardé le source de cette page et ce n'est pas un truc connue connue TinyMCE ou CKEditor. Est-ce que l'on peut le trouver ou si c'est un développement spécifique a ce présent site (et donc non trouvable) ?