Cours boursiers: Philips Koninklijke