PHP : fill a string with chars