Séquences et progressions HLP