«La alegría de la Torá», procesión de los rollos de Moisés, al final de la lectura de la Tora (al término del Sukkot)