Esattamente non so dirti il titolo perchè non lo so (e sinceramente a volte sulla rete trovi font simili con nomi differenti) comunque sulla sezione FONT di html.it puoi trovarne un sacco e non sono sicuro al 100% ma credo di ricordare che ci fosse anche quello.