Armandino Batali, ancien employé de Boeing devenu chef renommé, décède à 88 ans