tom è il diminutivo di thomas