Les juges, les procureurs et leurs substituts sont tous appelés magistrats.