EP1669864B1 - A Process for Managing Virtual Machines in a Physical Processing Machine, Corresponding Processor System and Computer Program Product Therefor