actuales estenógrafos.