Un tremblement de terre secoue le Portugal, sans faire de victime ou de dégât