Récords de Michel Portmann en competiciones europeas