When Alice@External is composing a new mail, after she types part of a name and selectes a recipient (the "To" field is populated and the name is underlined), have her double-click on the name in the "To" field. This should show a popup with the full email address under the name.