Opera : encore quelques optimisations