Considere as instruções abaixo encontradas em um arquivo de uma aplicação que utiliza a tecnologia JavaServer Faces (JSF):

Essas instruções indicam a existência de um bean gerenciado (classe Funcionario.java) do pacote br.ufscar que poderá ser referenciado nas páginas JSP por meio da palavra funcionario.

Qual das alternativas abaixo indica o nome do arquivo no qual essas instruções devem estar presentes para que a aplicação funcione corretamente?