Les Djinns, de Victor Hugo