avotrettanto
→  autrettanto