Bola cortada na área com o braço = penalti!

Para mim não há dúvida: é penalti.
E as imagens não deixam margem para dúvidas:

Até podíamos falhar o penalti, até podiamos ter perdido por quatro ou cinco. Mas era penalti.

PS - dedico estas imagens ao nosso conterrâneo João Santos, auxiliar de Olegário Benquerença.