OK, it's back. In the end, I had to reset the phone. Fortunately, most of my contacts were backed up. Anyway, about one month later, it's doing the exact same thing!