Definition of "phototypesetting"