Dans un programme Java, on écrit une classe permettant de représenter une date. Les variables d'instant de cette classe sont définies comme suite :

/**
 * Une classe pour encoder une date
 *
 * @author Olivier Bonaventure
 * @version Oct. 2016
 */
public class Date{
  public int jour; // le jour du mois
  public int mois; // le mois
  public int annee; // l'année
  //...
}

Le constructeur de cette classe a comme spécification :

/*
 * @pre 1 <= jour <= 31, 1 <= mois <= 12
 * @post retourne une date, les mois commencent à 1 pour janvier
 *       On ne gère pas les années bissextiles, février est supposé toujours
 *       contenir 28 jours
 */

Voici quelques exemples d'utilisation du constructeur :

Date poisson = new Date(1,4,2017); // 1er avril 2017
Date noel = new Date(25,12,2016); // 25 décembre 2016

Ecrivez le constructeur de cette classe Date.