~jochen/Calculateur-Extension