Exemplo de utilização de gettext em PHP