// JavaScript Document

if (document.getElementById('article_texte').offsetHeight < 470)   document.getElementById('article_texte').style.height = '470px';