The answer could be even simplier: Helvetica Bold or even Arial Bold. WhatTheFont gave me an error when trying to recognize the font....