Au fait, pourquoi HP s'appelle HP ?